Generating evidence for certification of modern processors for use in safety-critical systems
نویسندگان
چکیده
This paper investigates the implications of using a modern super-scalar processor in the safety-critical domain. Firstly, a description of current certification practice and devices is given as background. This is followed by an assessment of how the certification argument and its supporting evidence are affected by the use of a super-scalar processor. Two types of modern processor are considered, a Commercial Off The Shelf (COTS) processor and a purpose designed bespoke device. The respective benefits and drawbacks of both are examined. We then identify some key areas where change in current certification practice is necessary to allow for modern processors.
منابع مشابه
Use of Modern Processors in Safety-Critical Applications
This paper investigates the implications of using modern superscalar processors in the safety-critical domain. Firstly, a description of current certification practice and devices is given as background. This is followed by an exposition of the certification argument for a processor when used in a safetycritical application. Throughout the presentation of the argument two types of modern proces...
متن کاملCertification of software in safety - critical I & C systems of nuclear power plants
Nuclear power plants have well-defined processes to acquire and qualify safety-critical systems. Ultimate goal is to maximise safety, without compromises in quality and reliability. Each new device and system in nuclear power plant shall be classified and qualified according to its safety requirements. Using modern technology means in practice that more and more components have programmable fea...
متن کاملEnvironment Security and Decrease of Crimes with CPTED Approach Critical and Analytical Discussion
Crime and the fear of crime are pervasive and endemic concerns in modern post-industrial society and criminal justice systems are clearly failing to tackle both issues. In this research after mentioning the abstract for motivation and the vital opinion in the security public, the role of city framework (programming the environmental design) in the decrease and prediction of crimes in the city...
متن کاملAn extended systematic literature review on provision of evidence for safety certification
Context: Critical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification. The goal of this process is to ensure that these systems will operate safely without posing undue risks to the user, the public, or the environment. Safety is typically ensured via complying with safety standards. Demonstrating compliance to these standar...
متن کاملAssessing the Safety of Integrity Level Partitioning in Software
In order to exploit the capability and performance of modern processors in safety critical applications, it is desirable to be able to run software of differing integrity levels on the same processor. To do this safely, however, requires the ability to enforce partitioning between these different integrity levels. For certification, there is a need to demonstrate the effectiveness of these part...
متن کامل